home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / cml-098.lha / cml-0.9.8 / examples / ex-token-sig.sml < prev    next >
Encoding:
Text File  |  1990-11-20  |  509 b   |  20 lines
  1. (* ex-token-sig.sml
  2.  *
  3.  * COPYRIGHT (c) 1990 by John H. Reppy.  See COPYRIGHT file for details.
  4.  *
  5.  * A simple token server.
  6.  *)
  7.  
  8. (* BEGIN EXAMPLE *)
  9. signature TOKEN_SERVER =
  10.   sig
  11.     structure CML : CONCUR_ML
  12.     type ('a, 'b) token
  13.     val newToken : ('a -> 'b) -> ('a, 'b) token
  14.     exception NotTokenHolder
  15.     val getOperation : ('a, 'b) token -> ('a -> 'b)
  16.     val releaseToken : ('a, 'b) token -> unit
  17.     val acquireToken : ('a, 'b) token -> unit CML.event
  18.   end (* TOKEN_SERVER *)
  19. (* END EXAMPLE *)
  20.